English recursive function theory: tłumaczenie na inne języki